-- $LastChangedDate: 2007-05-10 18:35:14 +0200 (Thu, 10 May 2007) $
-- $LastChangedRevision: 103 $
-- $LastChangedBy: vicente $

-- package de instancia de List para la lista de los gestores de monitores

-- packages del gimnasio
with tareas.gmonitores; use tareas.gmonitores;

package listas.gmonitores_lists is new List (Nodomonitor);